%% ADDED BY MIKE FOR THE CONCUR07 PAPER. 
%% NOTE: These may be duplicated below
%% NOTE: I have changed "LNCS" and "Springer" throughout, as shown.

@STRING{ LNCS = {Lecture Notes in Computer Science} }
@STRING{ SPRINGER = {Springer} }

%% Theses

@phdthesis{nardelli:phd,
 author = {Francesco Zappa Nardelli},
 title = {{The Semantics of Higher Order Processes}},
 school = {The University of Paris},
 year = 2003,
 month = DEC
}

@phdthesis{daveturner:phd,
 author = {David N. Turner},
 title = {{The Polymorphic Pi-calculus: Theory and Implementation}},
 school = {The University of Edinburgh},
 year = 1996
}

@phdthesis{sangiorgi:phd,
 author = {Davide Sangiorgi},
 title = {{Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms}},
 school = {The University of Edinburgh},
 year = 1993
}

@phdthesis{wojciechowski:phd,
 author = {Pawel Tomasz Wojciechowski},
 title = {{Nomadic Pict: Language and Infrastructure Design for Mobile Computation}},
 school = {The University of Cambridge},
 year = 2000,
 month = MAR
}

@phdthesis{petri:phd,
 author = {Carl Adam Petri},
 title = {{Kommunikation mit Automaten}},
 school = {Institut f{\"u}r Instrumentelle Mathematik},
 year = 1962
}

@phdthesis{satoh:phd,
 title = {{Time and Asynchrony in Distributed Computing}},
 author = {Ichiro Satoh},
 school = {Keio University},
 month = JAN,
 year = 1996
}

@phdthesis{victor:phd,
 title = {{The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes}},
 author = {Bj{\"o}rn Victor},
 school = {Uppsala University},
 month = JUN,
 year = 1998
}

@phdthesis{pericas-geertsen:phd,
 author = {S. Pericas-Geertsen},
 title = {{XML-Fluent Mobile Agents}},
 school = {Boston University},
 year = 2001
}

@phdthesis{chen:timedpi,
 author = {Jing Chen},
 title = {{Study of Real-time Value Passing and Real-time Mobile Systems}},
 school = {Chinese Academy of Sciences},
 year = 2003
}

@phdthesis{merro:locality,
 author = {M. Merro},
 title = {{Locality in the $\pi$-calculus and applications to object-oriented languages}},
 school = {Ecoles des Mines de Paris},
 year = 2001
}

@phdthesis{Mor68,
 title = {{Lambda-calculus models of programming languages}},
 author = {J. H. Morris},
 school = {MIT},
 month = DEC,
 year = 1968
}

%% Articles

@article{obslocal,
 author = {G{\'e}rard Boudol and Ilaria Castellani and Matthew Hennessy and Astrid Kiehn},
 title = {{Observing Localities}},
 journal = {Theoretical Computer Science},
 year = 1993,
 volume = 114,
 pages = {31--61}
}

@article{funcproc,
 author = {Robin Milner},
 title = {{Functions As Processes}},
 journal = {Mathematical Structures in Computer Science},
 year = 1992,
 pages = {119--141},
 volume = 2,
 number = 2
}

@article{CHAM,
 author = {G{\'e}rard Berry and G{\'e}rard Boudol},
 title = {{The Chemical Abstract Machine}},
 journal = {Theoretical Computer Science},
 volume = 96,
 pages = {217--248},
 year = 1992,
 publisher = {Elsevier Science Publishers}
}

@article{hennessy:tpl,
 author = {Matthew Hennessy and T. Regan},
 title = {{A Process Algebra for Timed Systems}},
 journal = {Information and Computation},
 year = 1995,
 month = MAR,
 volume = 117,
 number = 2,
 pages = {221--239},
}

@article{paun:00membranes,
 author = {Gheorghe Paun},
 title = {{Computing with Membranes}},
 journal = {Journal of Computer and System Sciences},
 volume = 61,
 number = 1,
 pages = {108-143},
 year = 2000
}

@article{church:41,
 author = {Alfonso Church},
 title = {{The Calculi of Lambda-Conversion}},
 journal = {Annals of Mathematical Studies},
 volume = 6,
 year = 1941,
 publisher = {Princeton University Press},
 isbn = {0-691-08394-0},
 pages = {1--77}
}

@article{milner:lecture,
 author = {Robin Milner},
 title = {{Elements of Interaction: Turing Award Lecture}},
 journal = {Communications of the ACM},
 volume = 36,
 number = 1,
 month = JAN, 
 year = 1993,
 pages = {78--89},
 publisher = {ACM Press}
}

@article{dijkstra:philosophers,
 author = {E. W. Dijkstra},
 title = {{Hierarchical Ordering of Sequential Processes}},
 journal = {Acta Informatica},
 volume = 1,
 number = 2,
 month = JUN,
 year = 1971,
 pages = {115--138},
 publisher = {Springer Berlin / Heidelberg}
}

@article{linda,
 author = {Nicholas Carriero and David Gelernter},
 title = {{Linda in Context}},
 journal = {Communications of the ACM},
 volume = 32,
 number = 4,
 month = APR,
 year = 1989,
 pages = {444--458},
 publisher = {ACM Press}
}

@article{hoare:csp78,
 author = {C. A. R. Hoare},
 title = {{Communicating Sequential Processes}},
 journal = {Communications of the ACM},
 volume = 21,
 number = 8,
 month = AUG,
 year = 1978,
 pages = {666--677},
 publisher = {ACM Press}
}

@article{acp,
 author = {J. A. Bergstra and J. W. Klop},
 title = {{Process Algebra for Synchronous Communication}},
 journal = {Information and Control},
 volume = 60,
 year = 1984,
 pages = {109--137}
}

@article{aceto:timing,
 author = {Luca Aceto and David Murphy},
 title = {{Timing and Causality in Process Algebra}},
 journal = {Acta Informatica},
 volume = 33,
 number = 4,
 month = JUN,
 pages = {317--350},
 year = 1996,
}

@article{sangiorgi:localitysemantics,
 author = {Davide Sangiorgi},
 title = {{Locality and Interleaving Semantics in Calculi for Mobile Processes}},
 journal = {Theoretical Computer Science},
 volume = 155,
 number = 1,
 pages = {39--89},
 year = 1996,
}

@article{sangiorgi:typing,
 author = {B. C. Pierce and D. Sangiorgi},
 title = {{Typing and Subtyping for Mobile Processes}},
 journal = {Mathematical Structures in Computer Science},
 volume = 6,
 number = 5,
 pages = {409--454},
 year = 1996
} 

@article{milner:ccsaxiom, 
 author = {R. Milner}, 
 title = {{A Complete Axiomatisation for Observation Congruence of Finite-State Behaviours}}, 
 journal = {Information and Computation}, 
 year = 1989, 
 volume = 81,
 number = 2,
 pages = {227--247}
}

@article{sangiorgi:mobsafeambients,
 author = {Francesca Levi and Davide Sangiorgi},
 title = {{Mobile Safe Ambients}},
 journal = {ACM Transactions on Programming Languages and Systems ({TOPLAS})},
 volume = 25,
 number = 1,
 month = JAN,
 year = 2003,
 pages = {1--69}
}

@article{sangiorgi:safeambientsmachine,
 author = {Paola Giannini and Davide Sangiorgi and Andrea Valente},
 title = {{Safe Ambients: Abstract Machine and Distributed Implementation}},
 journal = {Science of Computer Programming},
 volume = 59,
 number = 3,
 month = FEB,
 year = 2006,
 pages = {209--249}
}

@article{hennessy:safeambientbisim,
 author = {Massimo Merro and Matthew Hennessy},
 title = {{A Bisimulation-Based Semantic Theory of Safe Ambients}},
 journal = {ACM Transactions on Programming Languages and Systems ({TOPLAS})},
 volume = 28,
 number = 2,
 month = MAR,
 year = 2006,
 pages = {290--330}
}

@article{bcc:boxedamb04,
 author = {Michele Bugliesi and Giuseppe Castagna and Silvia Crafa},
 title = {{Access Control for Mobile Agents: The Calculus of Boxed Ambients}},
 journal = {ACM Transactions on Programming Languages and Systems ({TOPLAS})},
 volume = 26,
 number = 1,
 month = JAN,
 year = 2004,
 pages = {57--124}
}

@article{amadioboudol:recepdistribpi,
 author = {Roberto M. Amadio and G{\'e}rard Boudol and C{\'e}dric Lhoussaine},
 title = {{The Receptive Distributed $\pi$ Calculus}},
 journal = {ACM Transactions on Programming Languages and Systems ({TOPLAS})},
 volume = 25,
 number = 5,
 month = SEP,
 year = 2003,
 pages = {549--577}
}

@article{cardelli:bioambients,
 author = {Aviv Regev and Ekaterina M. Panina and William Silverman and Luca Cardelli and Ehud Shapiro},
 title = {{BioAmbients: An Abstraction for Biological Compartments}},
 journal = {Theoretical Computer Science},
 volume = 325,
 number = 1,
 month = SEP,
 year = 2004,
 pages = {141--167}
}

@article{cardelli:pigroups,
 author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
 title = {{Secrecy and Group Creation}},
 journal = {Information and Computation},
 volume = 196,
 number = 2,
 month = JAN,
 year = 2005,
 pages = {127--155}
}

@article{guan:spatialambients,
 title = {{Name-passing in an Ambient-like Calculus and its Proof Using Spatial Logic}},
 author = {Xudong Guan},
 journal = {Theoretical Computer Science},
 volume = 356,
 number = 3,
 month = MAY,
 year = 2006,
 pages = {440--467}
}

@article{phillips:leaderelection,
 title = {{Leader Election in Rings of Ambient Processes}},
 author = {Iain Phillips and Maria Grazia Vigliotti},
 journal = {Theoretical Computer Science},
 volume = 356,
 number = 3,
 month = MAY,
 year = 2006,
 pages = {468--494}
}

@article{sangiorgi:uniformreceptiveness,
 title = {{The name discipline of uniform receptiveness}},
 author = {Davide Sangiorgi},
 journal = {Theoretical Computer Science},
 volume = 221,
 number = 2,
 month = JUN,
 year = 1999,
 pages = {457--493}
}

@article{sangiorgi:asynchronousprocesscalculi,
 title = {{Asynchronous process calculi: the first- and higher-order paradigms}},
 author = {Davide Sangiorgi},
 journal = {Theoretical Computer Science},
 volume = 253,
 number = 2,
 month = FEB,
 year = 2001,
 pages = {311--350}
}

@article{ambienttypes,
 title = {{Types for the Ambient Calculus}},
 author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
 journal = {Information and Computation},
 volume = 177,
 pages = {160--194},
 year = 2002
}

@article{deptypes,
 title = {{The Calculus of Constructions}},
 author = {T. Coquand and G. Huet},
 journal = {Information and Computation},
 volume = 76,
 pages = {95--120},
 year = 1988
}

@article{gillespie,
 author = {D. T. Gillespie},
 title = {{Exact Stochastic Simulation of Coupled Chemical Reactions}},
 journal = {Journal of Physical Chemistry},
 volume = 81,
 number = 25,
 pages = {2340--2361}
}

@article{fran,
 author = {M. J. P\'erez-Jim\'enez and Francisco Jos\'e Romero-Campero},
 title = {{P Systems, a New Computational Modelling Tool for Systems Biology}},
 journal = {Transactions on Computational Systems Biology},
 volume = {VI},
 pages = {176--197},
 year = 2006
}

@article{DNH84,
 author = {R. De Nicola and M. C. B. Hennessey},
 title = {{Testing equivalences for processes}},
 journal = {Theoretical Computer Science},
 volume = 34, pages = {83--133},
 year = 1984,
}

@article{obliq,
author = {M. Merro and J. Kleist and U. Nestmann},
title = {{Mobile Objects as Mobile Processes}},
 journal = {Information and Computation},
 volume = 177,
 pages = {195--241},
 year = 2002
}

% Books

@book{milner:ccs,
 author = {Robin Milner},
 title = {{Communication and Concurrency}},
 publisher = {Prentice-Hall},
 address = {London},
 year = 1989
}

@book{sangiorgi:book,
 author = {Davide Sangiorgi and David Walker},
 title = {{The Pi-Calculus: A Theory of Mobile Processes}},
 publisher = {Cambridge University Press},
 address = {Cambridge},
 year = 2001,
 isbn = {0 521 78177 9}
}

@book{milner:pi,
 author = {Robin Milner},
 title = {{Communicating and Mobile Systems: The $\pi$ Calculus}},
 publisher = {Cambridge University Press},
 year = 1999
}

% In Books

% In Collections

@incollection{pawl,
 author = {Ilaria Castellani},
 editor = {J. A. Bergstra and A. Ponse and S. A. Smolka},
 title = {{Process Algebras with Localities}},
 booktitle = {{Handbook of Process Algebra}},
 chapter = 15,
 pages = {945--1046},
 publisher = {North-Holland},
 year = 2001,
 isbn = {0-444-82830-3},
 address = {London; Amsterdam}
}

@incollection{beaten:timing,
 author = {J. C. M. Beaten and C. A. Middelburg},
 editor = {J. A. Bergstra and A. Ponse and S. A. Smolka},
 title = {{Process Algebra with Timing: Real Time and Discrete Time}},
 booktitle = {{Handbook of Process Algebra}},
 chapter = 10,
 pages = {627--684},
 publisher = {North-Holland},
 year = 2001,
 isbn = {0-444-82830-3},
 address = {London; Amsterdam}
}

@incollection{parrow:picalc,
 author = {Joachim Parrow},
 editor = {J. A. Bergstra and A. Ponse and S. A. Smolka},
 title = {{An Introduction to the $pi$ Calculus}},
 booktitle = {{Handbook of Process Algebra}},
 chapter = 8,
 pages = {479--543},
 publisher = {North-Holland},
 year = 2001,
 isbn = {0-444-82830-3},
 address = {London; Amsterdam}
}

@incollection{glabbeek,
 author = {R. J. van Glabbeek},
 editor = {J. A. Bergstra and A. Ponse and S. A. Smolka},
 title = {The Linear Time-Branching Time Spectrum {I}: The Semantics of Concrete, Sequential Processes},
 booktitle = {{Handbook of Process Algebra}},
 chapter = 8,
 pages = {3--99},
 publisher = {North-Holland},
 year = 2001,
 isbn = {0-444-82830-3},
 address = {London; Amsterdam}
}

@incollection{milner:name,
 author = {Robin Milner},
 title = {{What's In A Name?}},
 booktitle = {{Computer Systems: Theory, Technology and Applications}},
 chapter = 28,
 publisher = SPRINGER,
 month = DEC,
 year = 2003,
 editor = {Andrew J. Herbert and Karen I. B. Sp{\"a}rck Jones and R. M. Needham},
 isbn = {0-387-20170-X},
 address = {New York}
}

@inproceedings{thomsen:chocs,
 author = {Bent Thomsen},
 title = {{A Calculus of Higher Order Communicating Systems}},
 year = 1989,
 month = JAN,
 booktitle = {Proc. of the 16th. Annual Symposium on Principles of Programming Languages ({POPL}~'89)},
 publisher = {ACM Press},
 pages = {143--154}
}

@inproceedings(sangiorgi:types-or,
 author = {Davide Sangiorgi},
 title = {Types, or: Where's the Difference Between {CCS} and $\pi$?},
 year = 2002,
 booktitle = {Proc. of the 13th International Conference on Concurrency Theory ({CONCUR}~'02)},
 series = LNCS,
 number = 2421,
 pages = {76--97},
 publisher = SPRINGER
)

@inproceedings(godskesen:mobileresources,
 author = {Jens Chr. Godskesen and Thomas Hildebrandt and Vladimro Sassone},
 title = {{A Calculus of Mobile Resources}},
 year = 2002,
 booktitle = {Proc. of the 13th International Conference on Concurrency Theory ({CONCUR}~'02)},
 series = LNCS,
 number = 2421,
 pages = {272--287},
 publisher = SPRINGER
)

@inproceedings{cardelli:typesforambients,
 author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
 title = {{Mobility Types for Mobile Ambients}},
 year = 1999,
 booktitle = {Proc. of the 26th International Colloquium on Automata, Languages and Programming ({ICALP}~'99)},
 series = LNCS,
 number = 1644,
 pages = {230--239},
 publisher = SPRINGER
}

@inproceedings{hennessy:dpi98,
 author = {J. Riely and M. Hennessy},
 title = {{A Typed Language for Distributed Mobile Processes}},
 year = 1998,
 month = JAN,
 booktitle = {Proc. of the 25th. Annual Symposium on Principles of Programming Languages ({POPL}~'98)},
 pages = {378--390},
 publisher = {ACM Press}
}

@inproceedings{csa,
 author = {Rance Cleaveland and Gerald L{\"u}ttgen and Michael Mendler},
 title = {{An Algebraic Theory of Multiple Clocks}},
 year = 1997,
 booktitle = {Proc. of the 8th International Conference on Concurrency Theory ({CONCUR}~'97)},
 series = LNCS,
 number = 1243,
 pages = {166--180},
 publisher = SPRINGER
}

@inproceedings{zilio:survey,
 title = {{Mobile Processes: A Commented Bibliography}},
 author = {S. Dal Zilio},
 booktitle = {{Workshop On Modelling and Verification of Parallel Processes}},
 year = 2001,
 series = LNCS,
 number = 2067,
 editor = {F. Cassez et. al.},
 pages = {206--222},
 publisher = SPRINGER
}

@inproceedings{failure1,
 author = {R. Amadio and S. Prasad},
 title = {{Localities and Failures}},
 booktitle = {{Foundation of Software Technology and Theoretical Computer Science: 14th Conference (FST-TCS '94)}},
 number = 880,
 series = LNCS,
 pages = {205--216},
 month = DEC,
 year = 1994,
 publisher = SPRINGER
}

@inproceedings{failure2,
 author = {R. Amadio},
 title = {{An Asynchronous Model of Locality, Failure and Process Mobility}},
 booktitle = {Proc. of the Second International Conference on Coordination Languages and Models ({COORDINATION}~'97)},
 number = 1282,
 series = LNCS,
 month = SEP,
 year = 1997,
 pages = {374--391},
 publisher = SPRINGER
}

@inproceedings{join,
 author = {C. Fournet and G. Gonthier},
 title = {{The Reflexive Chemical Abstract Machine and the Join-Calculus}},
 booktitle = {{Proc. of the 23rd. Annual Symposium on Principles of Programming Languages ({POPL}~'96)}},
 pages = {372--385},
 year = 1996
}

@inproceedings{djoin,
 author = {C. Fournet and G. Gonthier and J.-J. L\'{e}vy and L. Maranget and D.R\'{e}my},
 title = {{A Calculus of Mobile Agents}},
 booktitle = {Proc. of the 7th International Conference on Concurrency Theory ({CONCUR}~'96)},
 number = 1119,
 series = LNCS,
 year = 1996,
 publisher = SPRINGER,
 pages = {406--421}
}

@inproceedings{joinresults,
 author = {J.-J. L\'{e}vy},
 title = {{Some results in the Join-Calculus}},
 booktitle = {Proc. of the Third International Symposium on the Theoretical Aspects of Computer Software ({TACS}~'97)},
 number = 1281,
 series = LNCS,
 publisher = SPRINGER,
}

@inproceedings{amb,
 author = {Luca Cardelli and Andrew D. Gordon},
 title = {{Mobile Ambients}},
 booktitle = {Proc. of the 1st Intl. Conference on Foundations of Software Science and Computation Structures ({FoSSaCS}~'98)},
 volume = 1378,
 series = LNCS,
 year = 1998,
 publisher = SPRINGER,
 pages = {140--155}
}

@inproceedings{seal,
 author = {J. Vitek and G. Castagna},
 title = {{Seal: A Framework for Secure Mobile Computations}},
 booktitle = {Proc. of the {ICCL}~'98 Workshop on Internet Programming Languages},
 volume = 1686,
 series = LNCS,
 year = 1999,
 pages = {47--77},
 publisher = SPRINGER
}

@inproceedings{sewell:npict,
 author = {Peter Sewell and Pawel T. Wojciechowski and Benjamin C. Pierce},
 title = {{Location-Independent Communication for Mobile Agents: A Two-Level Architecture}},
 booktitle = {{Internet Programming Languages: ICCL'98 Workshop}},
 volume = 1686,
 series = LNCS,
 year = 1999,
 pages = {1--32},
 publisher = SPRINGER
}

@inproceedings{boxedamb01,
 title = {{Boxed Ambients}},
 author = {Michele Bugliesli and Giuseppe Castagna and Silvia Crafa},
 booktitle = {Theoretical Aspects of Computer Software: 4th International Symposium ({TACS}~'01)},
 year = 2001,
 editor = {N. Kobayashi and B.C.Pierce},
 publisher = SPRINGER,
 pages = {38--63},
 series = LNCS,
 volume = 2215
}

@inproceedings{boxedamb02,
 title = {{Typing and Subtyping Mobility in Boxed Ambients}},
 author = {Massimo Merro and Vladimiro Sassone},
 booktitle = {Proc. of the 13th International Conference on Concurrency Theory ({CONCUR}~'02)},
 year = 2002,
 publisher = SPRINGER,
 editor = {L. Brim and P. Janar and M. Ketinsky and A. Kuera},
 pages = {304--320},
 series = LNCS,
 number = 2421
}
 
@inproceedings{seal01,
 title = {{Typing Mobility in the Seal Calculus}},
 author = {Giuseppe Castagna and Giorgio Ghelli and Francesco Zappa Nardelli},
 booktitle = {Proc. of the 12th International Conference on Concurrency Theory ({CONCUR}~'01)},
 year = 2001,
 publisher = SPRINGER,
 editor = {K.G. Larsen and M. Nielsen},
 pages = {82--101},
 series = LNCS,
 number = 2154
}

@inproceedings{seal02,
 title = {{The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity}},
 author = {Giuseppe Castagna and Francesco Zappa Nardelli},
 booktitle = {Proc. of the 5th International Conference on Foundations of Software Science and Computation Structures ({FoSSaCS}~'02)},
 year = 2002,
 publisher = SPRINGER,
 pages = {85--96},
 series = LNCS,
 number = 2556
}

@inproceedings{CaSE,
 author = {B. Norton and G. L{\"u}ttgen and M. Mendler},
 title = {{A Compositional Semantic Theory for Synchronous Component-Based Design}},
 booktitle = {Proc. of the 14th Intl. Conference on Concurrency Theory ({CONCUR}~'03)},
 series = {LNCS},
 number = 2761,
 year = 2003,
 publisher = SPRINGER,
 pages = {461--476}
}

@inproceedings{WICSA,
 author = {Barry Norton and Matt Fairtlough},
 title = {{Reactive Types for Dataflow-Oriented Software Architectures}},
 booktitle = {Proc. of the 4th Working IEEE/IFIP Conference on Software Architecture ({WICSA}~'04)},
 publisher = {IEEE Computer Society Press},
 pages = {211--220},
 year = 2004,
 volume = {P2172}
}

@inproceedings{cashews-sem,
 author = {Barry Norton and Simon Foster and Andrew Hughes},
 title = {A Compositional Operational Semantics for {OWL-S}},
 pages = {303--317},
 booktitle = {{Proc. of the 2nd International Workshop on Web Services and Formal
                  Methods (WS-FM 2005)}},
 series = {LNCS},
 number = 3670,
 publisher = SPRINGER,
 year = 2005,
 month = SEP,
}

@inproceedings{pmc,
 author = {Henrik Reif Andersen and Michael Mendler},
 title = {{An Asynchronous Process Algebra with Multiple Clocks}},
 year = 1994,
 month = APR,
 booktitle = {Proc. of the 5th European Symposium on Programming ({ESOP}~'94)},
 series = {LNCS},
 number = 788,
 pages = {58--73},
 publisher = SPRINGER
}

@inproceedings{turing:36,
 author = {Alan. M. Turing},
 title = {{On Computable Numbers, With an Application to the Entscheidungsproblem}},
 booktitle = {{Proc. of the London Mathematical Society}},
 volume = 2,
 year = 1936,
 number = 142,
 pages = {230--265}
}

@inproceedings{hewitt:actor,
 author = {Carl Hewitt and Peter Bishop and Richard Steiger},
 title = {{A Universal Modular Actor Formalism for Artificial Intelligence}},
 booktitle = {{Proc. of the 3rd International Joint Conference on Artificial Intelligence}},
 pages = {235--245},
 year = 1973
}

@inproceedings{satoh:distrib,
 author = {Ichiro Satoh and Mario Tokoro},
 title = {{A Timed Calculus for Distributed Objects with Clocks}},
 year = 1993,
 month = JUL,
 booktitle = {Proc. of the 7th European Conference on Object-Oriented Programming ({ECOOP}~'93)},
 series = {LNCS},
 number = 707,
 pages = {326--345},
 publisher = SPRINGER
}

@inproceedings{lee:realtime,
 author = {Jeremy Y. Lee and John Zic},
 title = {{On Modeling Real-time Mobile Processes}},
 year = 2002,
 booktitle = {{Proc. of the 25th Australasian Conference on Computer Science}},
 series = {Conferences in Research and Practice in Information Technology Series},
 volume = 17,
 pages = {139--147}
}

@inproceedings{brics:lee,
 author = {Insup Lee and Anna Philippou and Oleg Sogolsky},
 title = {{A Family of Resource-Bound Real-Time Process Algebras}},
 year = 2005,
 booktitle = {{Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond}},
 series = {BRICS Notes},
 volume = {NS-05-03},
 pages = {151--154}
}

@inproceedings{valencia:timeconstraints,
 author = {Frank D. Valencia},
 title = {{Concurrency, Time and Constraints}},
 year = 2003,
 booktitle = {Proc. of the 19th International Conference on Logic Programming ({ICLP}~'03)},
 pages = {72--101},
 number = 2916,
 series = LNCS,
 publisher = SPRINGER
}

@inproceedings{sangiorgi:trueconcurrency,
 author = {Davide Sangiorgi},
 title = {{Locality and True-Concurrency in Calculi for Mobile Processes}},
 booktitle = {Proc. of the International Symposium on Theoretical Aspects of Computer Software ({TACS}~'94)},
 pages = {405-424},
 year = 1994,
 series = LNCS,
 number = 789,
 publisher = SPRINGER
}

@inproceedings{gordon:spi,
 author = {Mart{\'\i}n Abadi and Andrew D. Gordon},
 title = {{A Calculus for Cryptographic Protocols: The Spi Calculus}},
 booktitle = {Proc. of the Fourth {ACM} Conference on Computer and Communications Security},
 publisher = {{ACM} Press},
 pages = {36--47},
 year = 1997
}

@inproceedings{stefani:kells,
 author = {Jean-Bernard Stefani},
 title = {{A Calculus of Kells}},
 booktitle = {Proc. of the 2nd European Association for Theoretical Computer Science International Workshop on Foundations of Global Computing ({FGC}~'03)},
 series = {Electronic Notes in Theoretical Computer Science},
 publisher = {Elsevier},
 volume = 85,
 number = 1,
 pages = {40--60},
 year = 2003
}

@inproceedings{m3,
 author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Elio Giovannetti and Ivano Salvo},
 title = {{$M^3$: Mobility Types for Mobile Processes in Mobile Ambients}},
 booktitle = {Proc. of Computing: the Australasian Theory Symposium ({CATS}~'03)},
 series = {Electronic Notes in Theoretical Computer Science},
 publisher = {Elsevier},
 volume = 78,
 pages = {1--34},
 month = APR,
 year = 2003
}

@inproceedings{acute,
 author = {Peter Sewell and James J. Leifer and Keith Wansbrough and Francesco Zappa Nardelli and Mair Allen-Williams and Pierre Habouzit and Viktor Vafeiadis},
 title = {{Acute: High-Level Programming Language Design for Distributed Computation}},
 booktitle = {Proc. of the 10th Annual ACM SIGPLAN International Conference on Functional Programming ({ICFP}~'05)},
 publisher = {ACM Press},
 month = SEP,
 year = 2005
}

@inproceedings{brane04,
 title = {{Brane Calculi - Interactions of Biological Membranes}},
 author = {Luca Cardelli},
 editor = {V. Danos, V.Schachter},
 booktitle = {Proc. of the International Conference on Computational Methods in Systems Biology ({CMSB}~2004)},
 month = MAY,
 year = 2004,
 series = {LNCS},
 number = 3082,
 publisher = SPRINGER,
 pages = {257--280}
}

@inproceedings{gordon97nominal,
 author = {Andrew Gordon},
 title = {{Nominal Calculi for Security and Mobility}},
 booktitle = {{Proc. of the DARPA Workshop on Foundations for Secure Mobile Code}},
 pages = {10--14},
 year = 1997,
}

@inproceedings{schmitt03mcalculus,
 author = {A. Schmitt and J. Stefani},
 title = {The {M} Calculus: A Higher-Order Distributed Process Calculus},
 booktitle = {Proc. of the 30th. Annual Symposium on Principles of Programming Languages ({POPL}~'03)},
 pages = {50--61},
 month = APR,
 year = 2003
}

@inproceedings{pierce95concurrent,
 author = {Benjamin C. Pierce and David N. Turner},
 title = {{Concurrent Objects in a Process Calculus}},
 booktitle = {Proc. of the International Workshop on the Theory and Practice of Parallel Programming ({TPPP}~'94)},
 number = 907,
 series = LNCS,
 year = 1995,
 pages = {187--215},
 publisher = SPRINGER,
 editor = {Takayasu Ito and Akinori Yonezawa}
}

@inproceedings{fidge,
 author = {C. J. Fidge},
 title = {{A Constraint-Oriented Real-Time Process Calculus}},
 editor = {M. Diaz and R. Groz},
 booktitle = {Proc. of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols ({FORTE}~'92)},
 pages = {363--378},
 publisher = {North-Holland},
 year = 1993
}

@inproceedings{lopes99dityco,
 author = {Lu{\'i}s Lopes and Fernando Silva and {\`A}lvaro Figueira and Vasco T. Vasconcelos},
 title = {{DiTyCO}: Implementing Mobile Objects in the Realm of Process Calculi},
 booktitle = {Proc. of the 5th European Conference on Object-Oriented Programming ({ECOOP}) Workshop on Mobile Object Systems ({MOS}~'99)},
 year = 1999
}

@inproceedings{lopes99tycovm,
 author = {Lu{\'i}s Lopes and Fernando Silva and {\`A}lvaro Figueira and Vasco T. Vasconcelos},
 title = {A Virtual Machine for the {TyCO} Process Calculus},
 booktitle = {Proc. of the International Conference on Principles and Practice of Declarative Programming ({PPDP}~'99)},
 month = SEP,
 year = 1999,
 series = LNCS,
 number = 1702,
 pages = {244--260},
 publisher = SPRINGER,
}

@inproceedings{norton05alg, 
 author = {Barry Norton}, 
 title = {{Behavioural Types for Synchronous Software Composition}}, 
 booktitle = {Proc. of the Workshop on Foundations of Interface Technologies ({FIT}~'05)}, 
 year = 2005, 
 month = AUG, 
 series = {Electronic Notes in Theoretical Computer Science ({ENTCS}) (to appear)},
 publisher = {Elsevier}
} 

@inproceedings{milner:93polyadic,
 author = {Robin Milner},
 title = {{The Polyadic $\pi$-calculus: a Tutorial}},
 booktitle = {{Proc. of the NATO Advanced Study Institute on Logic and Algebra of Specification}},
 publisher = SPRINGER,
 editor = {F. L. Bauer and W. Brauer and H. Schwichtenberg},
 pages = {203--246},
 month = JUL,
 year = 1993
}

@inproceedings{controlledamb02,
 title = {{Using Ambients to Control Resources}},
 author = {David Teller and Pascal Zimmer and Daniel Hirschkoff},
 booktitle = {Proc. of the 13th International Conference on Concurrency Theory ({CONCUR}~'02)},
 year = 2002,
 publisher = SPRINGER,
 editor = {L. Brim and P. Janar and M. Ketinsky and A. Kuera},
 pages = {288--303},
 series = {LNCS},
 number = 2421
}

@inproceedings{ambienttutorial,
 title = {{Ambient Calculi with Types: A Tutorial}},
 author = {Elio Giovannetti},
 booktitle = {{Proc. of the IST/FET International Workshop on Global Computing: Programming Environments, Languages, , Security, and Analysis of Systems}},
 year = 2003,
 publisher = SPRINGER,
 editor = {Corrado Priami},
 pages = {151--191},
 series = {LNCS},
 number = 2874
}

@inproceedings{klaimproject,
 title = {{The Klaim Project: Theory and Practice}},
 author = {Lorenzo Bettini and Viviana Bono and Rocco De Nicola and Gianluigi Ferrari and Daniele Gorla and Michele Loreti and Eugenio Moggi and Rosario Pugliese and Emilio Tuosto and Betti Venneri},
 booktitle = {{Proc. of the IST/FET International Workshop on Global Computing: Programming Environments, Languages, , Security, and Analysis of Systems}},
 year = 2003,
 publisher = SPRINGER,
 editor = {Corrado Priami},
 pages = {88--150},
 series = {LNCS},
 number = 2874
}

@inproceedings{safeamb00,
 title = {{Controlling Interference in Ambients}},
 author = {Francesca Levi and Davide Sangiorgi},
 booktitle = {Proc. of the 27th. Annual Symposium on Principles of Programming Languages ({POPL}~'00)},
 year = 2000,
 publisher = {ACM Press},
 pages = {352--364}
}

@inproceedings{safeamb02,
 title = {{Bisimulation Congruences in Safe Ambients}},
 author = {Massimo Merro and Matthew Hennessy},
 booktitle = {Proc. of the 29th. Annual Symposium on Principles of Programming Languages ({POPL}~'02)},
 year = 2002,
 publisher = {ACM Press},
 pages = {71--80}
}

@inproceedings{mobsec99,
 title = {{Mobility and Security}},
 author = {Luca Cardelli},
 booktitle = {{Proc. of the NATO Advanced Study Institute on Foundations of Secure Computation}},
 year = 2000,
 editor = {Friedrich L. Bauer and Ralf Steinbr{\"u}ggen},
 series = {NATO Science},
 publisher = {IOS Press},
 pages = {3--37}
}

@inproceedings{honda:asynchronouscommunication,
 title = {{An object calculus for asynchronous communication}},
 author = {Kohei Honda and Mario Tokoro},
 booktitle = {Proc. of the European Conference on Object-Oriented Programming ({ECOOP}~'91)},
 pages = {133--147},
 year = 1991,
 editor = {M. Tokoro and O. Nierstrasz and P. Wegner and A. Yonezawa},
 publisher = SPRINGER,
 pages = {151--191},
 series = {LNCS},
 number = 512
}

@inproceedings{hughes:nt,
 author = {Andrew Hughes},
 title = {{Nomadic Time (Extended Abstract)}},
 booktitle = {Proc. of the PhD Programme at Relational Methods in Computer Science/Applications of Kleene Algebra ({RelMiCS/AKA}) 2006},
 pages = {60--64},
 year = 2006,
 editor = {Renate Schmidt and Georg Struth},
 series = {University of Sheffield Technical Reports},
 number = {CS-06-09}
}

@inproceedings{commtypesamb,
 author = {Luca Cardelli and Andrew D. Gordon},
 title = {{Types for Mobile Ambients}},
 booktitle = {Proc. of the 26th. Annual Symposium on Principles of Programming Languages ({POPL}~'99)},
 year = 1999,
 month = JAN,
 publisher = {ACM Press},
 pages = {79--92}
}

@inproceedings{bigraph2,
 author = {Robin Milner},
 title = {{Pervasive Process Calculus}},
 year = 2005,
 booktitle = {{Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond}},
 series = {BRICS Notes},
 volume = {NS-05-03},
 pages = {180--183}
}

@inproceedings{biospi,
 author = {Aviv Regev and William Silverman and Ehud Shapiro},
 title = {{Representation and simulation of biochemical processes using the pi-calculus process algebra}},
 booktitle = {{Proc. of the Pacific Symposium on Biocomputing}},
 editor = {R. B. Altman and A. K. Dunker and T. E. Klein},
 volume = 6,
 pages = {459--470},
 year = 2001
}

@inproceedings{webpi,
 author = {Cosimo Laneve and Gianluigi Zavattaro},
 title = {{Foundations of Web Transactions}},
 booktitle = {Proc. of the 8th Intl. Conference on Foundations of Software Science and Computation Structures ({FoSSaCS}~'05)},
 volume = 3441,
 series = LNCS,
 year = 2005,
 publisher = SPRINGER,
 pages = {282--298}
}

@inproceedings{GC99,
 author = {Andrew D. Gordon and Luca Cardelli},
 title = {{Equational Properties for Mobile Ambients}},
 booktitle = {Proc. of the 2nd Intl. Conference on Foundations of Software Science and Computation Structures ({FoSSaCS}~'99)},
 volume = 1578,
 series = LNCS,
 publisher = SPRINGER,
 year = 1999,
 pages = {212--226}
}

%% Technical reports

@techreport{picalctutorial,
 author = {Robin Milner and Joachim Parrow and David Walker},
 title = {A Calculus of Mobile Processes, Parts {I} and {II}},
 number = {ECS-LFCS-89-86},
 year = 1989,
 month = JUN,
 institution = {University of Edinburgh}
}

@techreport{paun:98membranes,
 author = {Gheorghe Paun},
 title = {{Computing with Membranes}},
 year = 1998,
 month = NOV,
 number = 208,
 institution = {Institute of Mathematics of the Romanian Academy}
}

@techreport{thomsen:facile,
 author = {Thomsen, B. and Leth, L.},
 title = {{Some Facile Chemistry}},
 number = {ECRC-92-14},
 institution = {European Computer-Industry Research Centre, Munich},
 month = MAY,
 year = 1992
}

@techreport{maz:trace,
 author = {A. Mazurkiewicz},
 title = {{Concurrent Program Schemes and their Interpretations}},
 number = {AIM PB-78},
 institution = {Computer Science Department, University of Aarhus},
 year = 1977
}

@techreport{tccs,
 author = {Faron Moller and Chris Tofts},
 title = {{A Temporal Calculus of Communicating Systems}},
 number = {ECS-LFCS-89-104},
 year = 1989,
 month = DEC,
 institution = {University of Edinburgh}
}

@techreport{sewell:appliedpi,
 author = {Peter Sewell},
 title = {{Applied $pi$ -- A Brief Tutorial}},
 number = 498,
 year = 2000,
 institution = {University of Cambridge}
}

@techreport{cardelli:equationalproperties,
 author = {Andrew D. Gordon and Luca Cardelli},
 title = {{Equational Properties of Mobile Ambients}},
 month = APR,
 year = 1999,
 number = {MSR-TR-99-11},
 institution = {Microsoft Research}
}

@techreport{cardelli:ambienttypes,
 author = {Andrew D. Gordon and Luca Cardelli},
 title = {{Mobility Types for Mobile Ambients}},
 month = JUN,
 year = 1999,
 number = {MSR-TR-99-32},
 institution = {Microsoft Research}
}

@techreport{boudol:asynchrony,
 author = {G{\'e}rard Boudol},
 title = {{Asynchrony and the $\pi$-calculus (Note)}},
 year = 1992,
 number = {RR-1702},
 institution = {INRIA-Sophia Antipolis}
}

@techreport{bigraph1,
 author = {Ole H\ogh Jensen and Robin Milner},
 title = {{Bigraphs and Mobile Processes (revised)}},
 year = 2004,
 month = FEB,
 number = {UCAM-CL-TR-580},
 institution = {University of Cambridge, Computer Laboratory}
}

@techreport{tnt,
 author = {Andrew Hughes},
 title = {{Timed Mobile Systems}},
 year = {2007},
 number = {CS-07-09},
 institution = {University of Sheffield}
}

% Manuals

@manual{fournet:manual,
 title = {{The Join Calculus Language}},
 author = {C{\'e}dric Fournet and Luc Maranget},
 organsation = {Institut National de Recherche en Informatique et Automatique},
 month = SEP,
 year = 2000,
 url = {http://moscova.inria.fr/join/manual/index.html}
}

% Unpublished

@unpublished{piduce,
 author = {Samuele Carpineti and Cosimo Laneve and Luca Padovani},
 title = {{PiDuce -- a project for experimenting Web service technologies}},
 note = {Submitted to Logic and Algebraic Programming},
 month = JAN,
 year = 2006,
 url = {http://www.cs.unibo.it/PiDuce/PiDuce\_jlap.pdf}
}

% Miscellaneous

@misc{mikado,
 author = {G. Boudol and I. Castellani and F. Germain and M. Lacoste},
 title = {{Models of Distribution and Mobility: State of the Art}},
 note = {MIKADO Global Computing Project Deliverable D1.1.1},
 year = 2002,
 institution = {INRIA and France Telecom Research and Development}
}
